Copy Propagation

定义 Definition

Copy propagation（拷贝传播/复制传播）是一种编译器优化：当程序中出现“把一个变量的值复制给另一个变量”的赋值（如 b = a）后，编译器会在后续使用中尽可能把对 b 的引用替换为对 a 的引用，从而减少不必要的变量使用与赋值，并为进一步优化（如常量传播、死代码删除）创造条件。该术语在不同语境下也可能被更广义地使用，但最常见指上述编译优化。

发音 Pronunciation (IPA)

/ˈkɑːpi ˌprɑːpəˈɡeɪʃən/

例句 Examples

Copy propagation can remove redundant assignments in simple code.
拷贝传播可以在简单代码中去除多余的赋值。

After performing copy propagation, the optimizer often enables dead code elimination because some temporary variables become unused.
在执行拷贝传播之后，优化器通常会更容易进行死代码删除，因为一些临时变量会变得不再被使用。

词源 Etymology

copy 源自拉丁语 copia（“丰富、供给”），在英语中发展出“副本、复制”的含义；propagation 来自动词 propagate（传播、扩散），源于拉丁语 propagare（“繁殖、扩展”）。合在一起，“copy propagation”字面意思是“把复制关系向前传播”，对应编译器中“把 b=a 这样的等价关系传播到后续使用点”的做法。

相关词 Related Words

• Constant Propagation
• Dead Code Elimination
• Common Subexpression Elimination
• Inlining
• Peephole Optimization
• Data-Flow Analysis
• SSA

文学与著作 Literary Works

• Compilers: Principles, Techniques, and Tools（Aho, Lam, Sethi, Ullman，“龙书”）：在优化与数据流分析相关章节中讨论传播类优化思想，常与常量传播等一起出现。
• Advanced Compiler Design and Implementation（Steven Muchnick）：系统介绍多种优化，其中包含与拷贝传播密切相关的分析与变换。
• Modern Compiler Implementation（Andrew W. Appel）：在中间表示与优化部分涉及传播与简化变量使用的典型方法。